Using Static Total Causal Ordering Protocols to Achieve Ordered View Synchrony
نویسندگان
چکیده
A View Synchronous Communication (VSC) service provides applications in a multicast group with 1) reliable message delivery and 2) information about changes in the multicast group membership, in the form of membership views. To elaborate, a VSC service guarantees that the applications that receive the same membership view change receive the same set of group messages before receiving that view change. In this paper, we show how to use a generic static total and causal ordering multicast protocol to design a VSC service that guarantees totally and causally ordered message delivery without the need for blocking message delivery during view change operations. A special feature of the protocol is the ability to merge multiple groups of processes simultaneously.
منابع مشابه
A Sequencing Service for Group Communication
This paper is about the design of a sequencing service for totallyand causally-ordered group communication in a distributed system. A group communication service provides facilities for managing groups of processes and for multicasting messages to all the members of a group. The primary role of the sequencing service is to impose a total order on multicast messages, but we shall show how to bui...
متن کاملOrdering in Mobile Networks Using Integrated Sequencers
Distributed applications mostly interact by exchanging messages. For this purpose the messages often need to be ordered. Since today more and more mobile devices are used message ordering in mobile networks is increasingly important. Most ordering protocols for mobile networks use vector clocks or matrices. In static networks often multicast trees ensure message ordering. In this paper we propo...
متن کاملStrong and Weak Virtual Synchrony in Horus
A formal de nition of strong virtual synchrony capturing the semantics of virtual syn chrony as implemented in Horus is presented This de nition has the nice property that every message is delivered within the view in which it was sent However it is shown that in order to implement strong virtual synchrony the application program has to block messages during view changes An alternative de nitio...
متن کاملAn Efficient Two-Tier Causal Protocol for Mobile Distributed Systems
Causal ordering is a useful tool for mobile distributed systems (MDS) to reduce the non-determinism induced by three main aspects: host mobility, asynchronous execution, and unpredictable communication delays. Several causal protocols for MDS exist. Most of them, in order to reduce the overhead and the computational cost over wireless channels and mobile hosts (MH), ensure causal ordering at an...
متن کاملCausal Order Multicast Protocol Using Different Information from Brokers to Subscribers
Recently, in Publish/Subscribe (P/S) systems, there has been increasing emphasis in managing end-to-end message delivery performance and message order-based consistency, which are addressed in distributed collaborative applications for on-the-fly data. A causal message ordering is more useful for these distributed applications in which a large number of processes request collaboratively and int...
متن کامل